121. Logic in the Theory and Practice of Lawmaking
پدیدآورنده : \ Michal Araszkiewicz, Krzystof Płezka, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Law-- Interpretation and construction.,Law-- Philosophy.,Logic.,Law-- Data processing.,حقوق -- تفسیر و استنباط ,حقوق -- فلسفه,منطق,قانون -- داده‌پردازی
رده :
K290
.
L64
2015
122. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
123. Logic made easy
پدیدآورنده : \ Deborah J. Bennett.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,زبان و منطق,a04,a04,Reasoning.,استدلال
رده :
BC
177
.
B4L6
2004
E
.
Book
,
124. Logica modernorum in Prague about 1400 : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica [ Electronic Book ]
پدیدآورنده : / edition with an introduction and appendices by E.P. Bos
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق قرون وسطا,Logic, Medieval,Language and logic - Early works to 1800,Semantics (Philosophy) - Early works to 1800
رده :
B765
.
Z9L3
125. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
126. Logical Pluralism
پدیدآورنده : / J. C. Beall And Greg Restall
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,Logic,Causation,تسبیب
رده :
BC71
.
B4L6
127. Logical Studies of Paraconsistent Reasoning in Science and Mathematics
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
128. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
129. Logics for linguistic structures
پدیدآورنده : / edited by Fritz Hamm and Stephan Kepser
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : زبان و منطق,Language and logic,Computational linguistics
رده :
P39
.
L5
130. Machine Learning in Healthcare Informatics
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Applied physical engineering ,robots,fuzzy logic ,روبوت‌ها,منطق فازی
رده :
E-Book
,
131. Mathematical Foundations of Computer Science 2010
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
132. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
133. Mathematical Thought and its Objects
پدیدآورنده : / Charles Parsons, Harvard University
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics, Philosophy,Object (Philosophy),Logic,ریاضیات -- فلسفه,عین (فلسفه),منطق
رده :
QA8
,.
4
.
P36
2008
134. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
135. Means, Ends, and Medical Care
پدیدآورنده : \ H.G. Wright
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Ethics, Medical,Philosophy, Medical,Medical logic,اخ‍لاق پزشکی,فلسفه پزشکی ,منطق پزشکی
رده :
E-Book
,
136. Modal Logic for Philosophers
پدیدآورنده : / James W. Garson, University of Houston
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic) -- Textbooks,منطق موجهات -- کتاب های درسی
رده :
BC199
.
M6
,
G38
2013
137. Modal logic
پدیدآورنده : / Nino B. Cocchiarella and Max A. Freund
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Modality (Logic),صورت ( منطق )
رده :
BC199
.
M6C6
138. Modality
پدیدآورنده : / Paul Portner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Linguistics),Modality (Logic),وابسته دستوری,منطق موجهات
رده :
P299
.
M6
,
P67
2009
139. Modality
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Linguistics),Grammar,Modality (Logic),وابسته دستوری,دستور زبان,منطق موجهات,Portner, Paul.
رده :
CD-B
,
P
,
299
,.
M6
,
P67
,
2009
140. Modality and Tense
پدیدآورنده : \ Kit Fine
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),Tense and modality (Linguistics),منطق موجهات
رده :
E-Book
,
